Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
نویسندگان
چکیده
We present FixIt(ALC), a novel procedure for deciding knowledge base (KB) satisfiability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured models as in tableau-based proof procedures, but embodies a (greatest) fixpoint-computation of canonical models that are not necessarily tree-structured, based on a type-elimination process. Soundness, completeness and termination are proven and the runtime and space complexity are discussed. We give a precise characterization of the worst-case complexity of deciding KB satisfiability (as well as related terminological and assertional reasoning tasks) in ALC in the general case and show that our method yields a worst-case optimal decision procedure (under reasonable assumptions). To the best of our knowledge it is the first fixpoint-based decision procedure for FDLs, hence introducing a new class of inference procedures into FDL reasoning.
منابع مشابه
Deciding Fuzzy Description Logics by Type Elimination
We present a novel procedure FixIt(ALC) for deciding knowledge base satisfiability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured models as in tableau-based proof procedures, but embodies a fixpoint-computation of canonical models that are not necessarily tree-structured. Conceptually, the procedure is based on a type-elimination process. Soundness, com...
متن کاملReasoning for Fuzzy Description Logic with Comparison Expressions
The fuzzy extensions of description logics support representation and reasoning for fuzzy knowledge. But the current fuzzy description logics do not support the expression of comparisons between fuzzy membership degrees. The paper proposes ALCfc, a fuzzy extension of description logic ALC with comparison expressions. ALCfc defines comparison cut concepts to express complex comparisons, and inte...
متن کاملOn Computational Complexity of the Extended Fuzzy Description Logic with Numerical Restriction
Extended fuzzy description logic EFALCN (extended fuzzy attributive concept description language with complements and unqualified number restriction) is the fuzzy extension of the description logic with numerical restriction ALCN (attributive concept description language with complements and unqualified number restriction), but it lacks of reasoning algorithms and complexity analysis for reason...
متن کاملScale reasoning with fuzzy-EL ontologies based on MapReduce
Fuzzy extension of Description Logics (DLs) allows the formal representation and handling of fuzzy or vague knowledge. In this paper, we consider the problem of reasoning with fuzzy-EL, which is a fuzzy extension of EL+. We first identify the challenges and present revised completion classification rules for fuzzy-EL that can be handled by MapReduce programs. We then propose an algorithm for sc...
متن کاملReasoning with Fuzzy Ontologies
By the development of Semantic Web, increasing demands for vague information representation have triggered a mass of theoretical and applied researches of fuzzy ontologies, whose main logical infrastructures are fuzzy description logics. However, current tableau algorithms can not supply complete reasoning support within fuzzy ontology: reasoning with general TBox is still a difficult problem i...
متن کامل